Książki autorstwa Jasmin Christian Blanchette

Znaleziono 1 – 2 z 2 pozycji

1. 

   Tests and Proofs

   Jasmin Christian Blanchette, Nikolai Kosmatov | Springer International Publishing AG, 2015

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   61.28 €

   Kup książkę
2. 

   Interactive Theorem Proving

   Jasmin Christian Blanchette, Stephan Merz | Springer International Publishing AG, 2016

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   61.28 €

   Kup książkę

Oferujemy zniżki dla uczniów, nauczycieli i studentów. Zobacz więcej